#include<stdio.h>
void main(){
	int i,j;
	for(i=1;i<=1000;i++){
		j+=i;
	}
		printf("%d ",j);
	
}
